Abduction, raisonnement hypothétique et maintien de cohérence
Identifieur interne : 00D497 ( Main/Exploration ); précédent : 00D496; suivant : 00D498Abduction, raisonnement hypothétique et maintien de cohérence
Auteurs : F. Charpillet ; Jean-Paul Haton [France] ; P. MarquisSource :
English descriptors
- KwdEn :
Abstract
Les données issues du monde extérieur, qu'elles proviennent de capteurs ou de l'interaction avec un opérateur humain, permettent de construire une représentation de l'environnement qui est le plus souvent incomplète. Pour gérer cette incomplétude, il est nécessaire d'avoir recours à un raisonnement hypothétique. Après une courte introduction à l'interprétation de données, nous présentons et illustrons un schéma de raisonnement abductif/déductif. Nous indiquons ensuite comment il peut être implanté en utilisant un système de type ATMS, puis quelques alternatives concernant le langage de représentation utilisé et l'implantation réalisée sont proposées. Nous motivons les choix que nous avons effectués, en nous fondant sur la description des applications réalisées. Nous présentons enfin deux extensions des systèmes de maintien de vérité. La première est relative à la composante temporelle du raisonnement et la seconde à sa composante quantitative.
Affiliations:
- France
- Grand Est, Lorraine (région)
- Nancy
- Centre national de la recherche scientifique, Institut national de recherche en informatique et en automatique, Laboratoire lorrain de recherche en informatique et ses applications, Université de Lorraine
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 000E54
- to stream Crin, to step Curation: 000E54
- to stream Crin, to step Checkpoint: 003754
- to stream Main, to step Merge: 00DD74
- to stream Main, to step Curation: 00D497
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="190">Abduction, raisonnement hypothétique et maintien de cohérence</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:charpillet92b</idno>
<date when="1992" year="1992">1992</date>
<idno type="wicri:Area/Crin/Corpus">000E54</idno>
<idno type="wicri:Area/Crin/Curation">000E54</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">000E54</idno>
<idno type="wicri:Area/Crin/Checkpoint">003754</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">003754</idno>
<idno type="wicri:Area/Main/Merge">00DD74</idno>
<idno type="wicri:Area/Main/Curation">00D497</idno>
<idno type="wicri:Area/Main/Exploration">00D497</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Abduction, raisonnement hypothétique et maintien de cohérence</title>
<author><name sortKey="Charpillet, F" sort="Charpillet, F" uniqKey="Charpillet F" first="F." last="Charpillet">F. Charpillet</name>
</author>
<author><name sortKey="Haton, J P" sort="Haton, J P" uniqKey="Haton J" first="J.-P." last="Haton">Jean-Paul Haton</name>
<affiliation><country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="laboratoire" n="5">Laboratoire lorrain de recherche en informatique et ses applications</orgName>
<orgName type="university">Université de Lorraine</orgName>
<orgName type="institution">Centre national de la recherche scientifique</orgName>
<orgName type="institution">Institut national de recherche en informatique et en automatique</orgName>
</affiliation>
</author>
<author><name sortKey="Marquis, P" sort="Marquis, P" uniqKey="Marquis P" first="P." last="Marquis">P. Marquis</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>abduction</term>
<term>hypothetical reasoning</term>
<term>truth maintenance</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr" wicri:score="-815">Les données issues du monde extérieur, qu'elles proviennent de capteurs ou de l'interaction avec un opérateur humain, permettent de construire une représentation de l'environnement qui est le plus souvent incomplète. Pour gérer cette incomplétude, il est nécessaire d'avoir recours à un raisonnement hypothétique. Après une courte introduction à l'interprétation de données, nous présentons et illustrons un schéma de raisonnement abductif/déductif. Nous indiquons ensuite comment il peut être implanté en utilisant un système de type ATMS, puis quelques alternatives concernant le langage de représentation utilisé et l'implantation réalisée sont proposées. Nous motivons les choix que nous avons effectués, en nous fondant sur la description des applications réalisées. Nous présentons enfin deux extensions des systèmes de maintien de vérité. La première est relative à la composante temporelle du raisonnement et la seconde à sa composante quantitative.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Grand Est</li>
<li>Lorraine (région)</li>
</region>
<settlement><li>Nancy</li>
</settlement>
<orgName><li>Centre national de la recherche scientifique</li>
<li>Institut national de recherche en informatique et en automatique</li>
<li>Laboratoire lorrain de recherche en informatique et ses applications</li>
<li>Université de Lorraine</li>
</orgName>
</list>
<tree><noCountry><name sortKey="Charpillet, F" sort="Charpillet, F" uniqKey="Charpillet F" first="F." last="Charpillet">F. Charpillet</name>
<name sortKey="Marquis, P" sort="Marquis, P" uniqKey="Marquis P" first="P." last="Marquis">P. Marquis</name>
</noCountry>
<country name="France"><region name="Grand Est"><name sortKey="Haton, J P" sort="Haton, J P" uniqKey="Haton J" first="J.-P." last="Haton">Jean-Paul Haton</name>
</region>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00D497 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00D497 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= CRIN:charpillet92b |texte= Abduction, raisonnement hypothétique et maintien de cohérence }}
This area was generated with Dilib version V0.6.33. |